L’Associazione « Louis Althusser ». Entretien avec Maria Turchetto et

Entretien avec Ken Whistler, directeur technique du consortium Unicode

Interview with Dr. Ken Whistler, technical director of the Unicode Consortium on the origin of the Unicode standard and its relation to ISO/IEC 10646. Dr. Whistler answers several questions related to the perceived implementation problems and apparent weaknesses of the Unicode standard. 1. Le cri, une des langues autochtones parlées au Québec, est pris en charge par Unicode. 330 DN – 6/2002. Un...

Entretien avec GILLES DOWEK. De l'engagement dans la recherche à la recherche de l'engagement

Gilles Dowek est Directeur de Recherche à l’Inria. Il conduit des recherches dans le domaine de la formalisation des mathématiques (théorie des types, théorie des ensembles, etc.) et sur les systèmes informatiques de traitement des démonstrations mathématiques. Par ailleurs, sa réflexion sur l’enseignement de l’informatique l’a mené à participer à la rédaction des nouveaux programmes d’enseigne...

et fort courant avec commande numérique

Louis Jurine, chirurgien et naturaliste (1751–1819)

by the production and sale of books and pharmaceuticals. The pharmaceuticals business, which peaked in the early 1760s with net profits of 35,000 Reichsthaler annually, was promoted by popular medical handbooks written by Christian Friedrich Richter and David Samuel von Madai. In the second part of the book Wilson minutely documents and analyses the transatlantic traffic and trade in pharmaceut...

CHR modulaire avec ask et tell

Dans ce papier, nous introduisons une version modulaire du langage Constraint Handling Rules (CHR), appelé CHRat pour CHR modulaire avec ask et tell. Toute contrainte définie dans un composant CHRat peut être réutilisée à la fois dans les règles et les gardes d’un autre composant CHRat pour définir de nouveaux solveurs de contraintes. Contrairement aux travaux précédents sur la modularité de CH...